#ifndef __S1861_GLOBAL_BASEADDR_REG_H__ 
#define __S1861_GLOBAL_BASEADDR_REG_H__ 
#define HIL_REG0_PS3_REGISTER_F_BASEADDR         	0x24000000UL
#define HIL_REG0_PS3_REGISTER_F_SIZE             	0x10000UL 
#define HIL_REG0_PS3_REQUEST_QUEUE_BASEADDR      	0x24010000UL
#define HIL_REG0_PS3_REQUEST_QUEUE_SIZE          	0x200UL 
#define HIL_REG0_PS3_REGISTER_S_SIZE             	0x1FE00UL 
#endif